19

Computing the Least Fixed Point of Positive Polynomial Systems

Year:
2010
Language:
english
File:
PDF, 857 KB
english, 2010
25

Newtonian program analysis

Year:
2010
Language:
english
File:
PDF, 769 KB
english, 2010